Section: Partnerships and Cooperations

International Initiatives

QuantProb

• Title: Quantitative analysis of non-standard properties in probabilistic models

• International Partner (Institution - Laboratory - Researcher):

  • Technical University of Dresde (Germany) - Saxe - Christel Baier

• Start year: 2016

• See also: http://www.irisa.fr/sumo/QuantProb/

• Quantitative information flow and fault diagnosis share two important characteristics: quantities (in the description of the system as well as in the properties of interest), and users partial knowledge. Yet, in spite of their similar nature, different formalisms have been proposed. Beyond these two motivating examples, defining a unified framework can be addressed by formal methods. Formal methods have proved to be effective to verify, diagnose, optimize and control qualitative properties of dynamic systems. However, they fall short of modelling and mastering quantitative features such as costs, energy, time, probabilities, and robustness, in a partial observation setting. This project proposal aims at developing theoretical foundations of formal methods for the quantitative analysis of partially observable systems.

The team collaborates on runtime enforcement with the group of Prof. Stavros Tripakis (http://users.ics.aalto.fi/stavros/) at Aalto University (Finland), where our former PhD student Srinivas Pinisetty is doing a Post-doc and with Thomas Brihaye (University of Mons) on the analysis of probabilistic timed systems.

The team has well-established collaborations with several institutes in India. CMI (Chennai Mathematical Institute, M. Mukund and N.K. Kumar), IIT Bombay (S. Akshay).

The team is building a new collaboration with Ecole Polytechnique Montreal (J. Mullins).